C. Cieśliński, R. Urbaniak; "Gödelizing the Yablo sequence" - Internet Explorer 2.0

C. Cieśliński, R. Urbaniak; "Gödelizing the Yablo sequence"

著者

Cezary Cieśliński

private

https://scrapbox.io/files/64d1665a8b0093001b5a8cbd.pdf

/sno2wman-private/2011; C. Cieśliński, R. Urbaniak; "Gödelizing the Yablo sequence"

public?

https://link.springer.com/content/pdf/10.1007/s10992-012-9244-4.pdf

出版元

Journal of Philosophical Logic

DOI

https://doi.org/10.1007/s10992-012-9244-4

モチベーション

Yabloのパラドックスを形式化してGödelの不完全性定理を得る．

#Yabloのパラドックスの形式化